turing machine for even palindrome